图灵可归约性 reducibility: 还原变; 还原性; 可归约性; 可约性; 稀释性turing: 递归函数; 图林; 图灵机axiom of reducibility: 可化归性公理intrinsic reducibility: 内禀还原性reducibility axiom: 可约性公理下载手机词典可随时随地查词查翻译